Negation

java.lang.Object

edu.uky.ai.lp.logic.BooleanExpression

edu.uky.ai.lp.logic.Negation

All Implemented Interfaces:: Expression, Formula

public class Negation
extends BooleanExpression

Represents an expression whose opposite is true.

Author:: Stephen G. Ware

Field Summary

Fields

Modifier and Type Field Description

Expression argument
The expression being negated

Fields inherited from class edu.uky.ai.lp.logic.BooleanExpression
arguments, operator
Constructor Summary

Constructors

Constructor Description

Negation(Expression argument)
Constructs a negation of the given argument.

Method Summary

Modifier and Type	Method	Description
`Negation`	`substitute(Unifier unifier)`	Return a version of this formula with its variables replaced with the values assigned to them by a unifier.
`java.lang.String`	`toString()`

Methods inherited from class edu.uky.ai.lp.logic.BooleanExpression

equals, hashCode, substituteArguments, toString, unify

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Field Details
- argument
  
  public final Expression argument
  
  The expression being negated
Constructor Details
- Negation
  
  public Negation(Expression argument)
  
  Constructs a negation of the given argument.
  
  Parameters:
  
  argument - the expression to be negated
Method Details
- toString
  
  public java.lang.String toString()
  
  Overrides:
  
  toString in class java.lang.Object
- substitute
  
  public Negation substitute(Unifier unifier)
  
  Description copied from interface: Formula
  
  Return a version of this formula with its variables replaced with the values assigned to them by a unifier.
  
  Parameters:
  
  unifier - the unifier
  
  Returns:
  
  the formula with variables replaced